翻訳と辞書 Words near each other ・ Locally compact quantum group ・ Locally compact space ・ Locally connected space ・ Locally constant function ・ Locally convex topological vector space ・ Locally cyclic group ・ Locally decodable code ・ Locally discrete collection ・ Locally finite ・ Locally finite collection ・ Locally finite group ・ Locally finite measure ・ Locally finite operator ・ Locally finite poset ・ Locally finite space ・ Locally finite variety ・ Locally Hausdorff space ・ Locally integrable function ・ Locally listed buildings in Crawley ・ Locally nilpotent ・ Locally normal space ・ Locally profinite group ・ Locally regular space ・ Locally simply connected space ・ Locally testable code ・ Locally unwanted land use ・ Locals casino ・ LocalSaver.com ・ LocalTalk ・ LocalTalk-to-Ethernet bridge Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Locally finite variety ： ウィキペディア英語版 Locally finite variety In universal algebra, a variety of algebras means the class of all algebraic structures of a given signature satisfying a given set of identities. One calls a variety locally finite if every finitely generated algebra has finite cardinality, or equivalently, if every finitely generated free algebra has finite cardinality. The variety of Boolean algebras constitutes a famous example. The free Boolean algebra on ''n'' generators has cardinality 22''n'', consisting of the ''n''-ary operations 2''n''→2. The variety of sets constitutes a degenerate example: the free set on ''n'' generators has cardinality ''n'', consisting of just the generators themselves. The variety of pointed sets constitutes a trivial example: the free pointed set on ''n'' generators has cardinality ''n''+1, consisting of the generators along with the basepoint. The variety of graphs defined as follows constitutes a combinatorial example. Define a graph ''G'' = (''E'',''s'',''t'') to be a set ''E'' of edges and unary operations ''s'', ''t'' of source and target satisfying ''s''(''s''(''e'')) = ''t''(''s''(''e'')) and ''s''(''t''(''e'')) = ''t''(''t''(''e'')). Vertices are those edges in the (common) image of ''s'' and ''t''. The free graph on ''n'' generators has cardinality 3''n'' and consists of ''n'' edges ''e'' each with two endpoints ''s''(''e'') and ''t''(''e''). Graphs with nontrivial incidence relations arise as quotients of free graphs, most usefully by identifying vertices. The variety of sets and the variety of graphs so defined each forms a presheaf category and hence a topos. This is not the case for the variety of Boolean algebras or of pointed sets. ==References== *http://www.math.mcmaster.ca/~matt/publications/novo.pdf 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Locally finite variety」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.